Assuring Autonomy of UAVs in Mission-critical Scenarios by Performability Modeling and Analysis

Uncrewed Aerial Vehicles (UAVs) have been used in mission-critical scenarios such as Search and Rescue (SAR) missions. In a scenario, flight autonomy is key performance metric that quantifies how long the UAV can continue with given battery charge. running multiple software applications, also be impacted by faulty application processes excessively consume energy. this paper, we propose FA-Assure (Fight Autonomy assurance) framework to assure of considering through performability modeling analysis. The employs hierarchically-configured stochastic Petri nets (SPNs), evaluates performability-related metrics, guides design mitigation strategies improve autonomy. We consider SAR mission case study evaluate feasibility extensive numerical experiments. results quantitatively show enhanced offloading restarting processes.